Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)

This report documents the program and the outcomes of Dagstuhl Seminar 16201 “Synergies among Testing, Verification, and Repair for Concurrent Programs”. This seminar builds upon, and is inspired by, several past seminars on program testing, verification, repair and combinations thereof. These include Dagstuhl Seminar 13021 “Symbolic Methods in Testing”; Dagstuhl Seminar 13061 “Fault Prediction, Localization and Repair”; Dagstuhl Seminar 14171 “Evaluating Software Verification Systems: Benchmarks and Competitions”; Dagstuhl Seminar 14352 “Next Generation Static Software Analysis Tools”; Dagstuhl Seminar 14442 “Symbolic Execution and Constraint Solving”; and Dagstuhl Seminar 15191 “Compositional Verification Methods for Next-Generation Concurrency”. These were held in January 2013; February 2013; April 2014; August 2014; October 2014; and May 2015, respectively. Two notable contributions of Dagstuhl Seminar 16201, which distinguish it from these past seminars, are (i) the focus on concurrent programming, which introduces significant challenges to testing, verification and repair tools, as well as (ii) the goal of identifying and exploiting synergies between the testing, verification and repair research communities in light of common needs and goals. Seminar May 16–20, 2016 – http://www.dagstuhl.de/16201 1998 ACM Subject Classification B.8.1 Reliability, Testing, and Fault-Tolerance, D.1.3 [Concurrent Programming] Distributed Programming, Parallel Programming, D.2.4 [Software/Program Verification] Assertion Checkers, Correctness Proofs, Model Checking, D.4.1 [Process Management] Concurrency, I.2.2 [Automatic Programming] Automatic Analysis of Algorithms, Program Modification, Program Transformation, Program Verification